واژگان
| A | A |
| E | E |
| I | I |
| O | O |
| استنتاج به‌واسطه | Mediate inference |
| استنتاج بی‌واسطه | Immediate inference |
| اشتراک دو طبقه | Intersection of two classes |
| پیوند | Copula |
| تالی عکس متمم | Obverse |
| تحدید عکس مستوی | Conversion by limitation |
| تحدید عکس نقیض | Limitation_of_contraposition |
| تداخل | Subalternation |
| تعبیر بولی | Boolean interpretation |
| تقابل | Opposition |
| توزیع‌شدگی | Distribution |
| حاصل‌ضرب دو طبقه | Product of two classes |
| حد | Term |
| حد محمول | Predicate term |
| حد موضوع | Subject term |
| خاصه تعریف طبقه | Class-defining characteristic |
| داخل در تحت تضاد | Subcontraries |
| سور | Quantifier |
| شمای کلی گزاره‌های حملی استاندار-ساخت | General Schema of Standard-Form Categorical Propositions |
| طبقه | Class |
| طبقه متمم | Complementary class |
| عکس متمم | Obversion |
| عکس مستوی | Conversion |
| عکس نقیض | Contraposition |
| عکس نقیض به‌وسیله تحدید | Contraposition_by_limitation |
| کلاس | classs |
| کمیت | Quantity |
| کمیت جزئی | Particular quantity |
| کمیت کلی | Universal quantity |
| کیفیت | Quality |
| کیفیت ایجابی | Affirmative quality |
| کیفیت سلبی | Negative quality |
| گزاره حملی استاندارد-ساخت | Standard-form categorical propositions |
| گزارهمتناظر | Corresponding_propositions |
| گزاره‌های (حملی) ایجابی | Affirmative categorical proposition |
| گزاره‌های (حملی) سلبی | Negative categorical proposition |
| گزاره‌های حملی | Categoricalproposition |
| گزاره‌های سالب جزئی | Particular affirmative propositions |
| گزاره‌های سالب کلی | Universal negative propositions |
| گزاره‌های کتگوریک | Categoricalproposition |
| گزاره‌های موجب جزئی | Particular affirmative propositions |
| گزاره‌های موجب کلی | Universal affirmative propositions |
| متداخل محاطی | Subaltern |
| متداخل محیطی | Superaltern |
| متضاد | Contraries |
| متمم | Complement |
| متمم نسبی | Relative complement |
| متناقض | Contradictories |
| مربع تقابل | Square of Opposition |
| مربع تقابل | Square of Opposition |
| مغالطه وجودی | Existential fallacy |
| مقدمه عکس متمم | Obvertend |
| ممکن | Contingent |
| منطق ارسطویی | **No Eng Tit** |
| منطق جدید | Modern logic |
| منطق حدود | Terms logic |
| منطق کلاسیک(قدیم) | Aristotelian logic |
| منطق نمادین جدید | **No Eng Tit** |
| نظریه استنتاج | Theory_of_deduction |
| نمودارهای ون | Venn diagrams |
| نمودارهای ون | Venn diagrams |
| نهاده وجودی | Existential Import |
| وارون ساده | Conversion |